COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub[let,jmc]" source
C00004 ENDMK
C⊗;
.require "let.pub[let,jmc]" source;
.FONT A "GRKB30";
∂AIL Dr. Fred Abramson↓Department of Mathematics
↓University of Notre Dame↓South Bend, Indiana  466l7∞

Dear Fred:

This is to offer you a position as a Research Associate for three months
during the summer of 1981, at a salary of $2,085 per month.  We can also
accommodate you with travel expense to $690, which is the present round trip
air fare between San Francisco and South Bend.
This offer is contingent upon the
renewal of certain grants, but no problem is anticipated.

You will work with Dr. Jussi Ketonen on problems involving mathematical logic,
proof checking, and artificial intelligence.  I will send you some material on
non-monotonic reasoning that involves logical problems that may interest you.

      
.sgn